Automating integration under emergent constraints for embedded systems

Abstract As embedded applications are subject to non-functional requirements (latency, safety, reliability, etc.) they require special care when it comes providing assurances. Traditionally, these systems quite static in their software and hardware composition. However, there is an increasing interest enabling adaptivity autonomy that cannot be satisfied with preprogrammed adaptations any more. Instead, requires automated composition conjunction model-based analyses must adhere constraints from various viewpoints. A major challenge this matter emergent which affected by inter-dependent properties resulting the platform configuration. typically in-depth evaluation complex analyses, a holistic formulation of parameters not applicable. We present compositional framework for integration component-based systems. The provides structured approach perform operations on cross-layer model enrichment, synthesis analysis. It thereby overarching mechanisms combine existing models, reasoning. Furthermore, automates decisions enables iterative exploration feasible system compositions. demonstrate applicability case study stereo-vision robot uses operating system.